We present an axiomatic framework for nonstandard analysis-the Nonstandard Class Theory which extends von Neumann-Godel-Bernays Set Theory by adding a unary predicate symbol St to the language of NBG means that the class X is standard) and axioms-related to it- analogs of Nelson's idealization, standardization and transfer principles. Those principles are formulated as axioms, rather than axiom schemes, so that NCT is finitely axiomatizable. NCT can be considered as a theory of definable classes of Bounded Set Theory by V. Kanovei (...) and M. Reeken. In many aspects NCT resembles the Alternative Set Theory by P. Vopenka. For example there exist semisets in NCT and it can be proved that a set has a standard finite cardinality iff it does not contain any proper subsemiset. Semisets can be considered as external classes in NCT. Thus the saturation principle can be formalized in NCT. (shrink)

We develop an axiomatic set theory — the Theory of Hyperfinite Sets THS— which is based on the idea of the existence of proper subclasses of large finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to THS, prove consistency of THS, and present some applications.

It would be no exaggeration to say that our art is presently undergoing a revolutionary stage in its development. The revolutionary renewal that has seized all spheres of life is being ever more forcefully represented in artistic culture as well. That culture is beginning to free itself from bureaucratic regimentation, incompetent pressure from above, inflated authorities, lifeless cliches, and opportunism of the moment. Art is actively seeking its place in perestroika, and is in turn in many respects defining the moral (...) climate of perestroika. Recent works such as Fire [Pozhar] by V. Rasputin, the Sad Detective Story [Pechal'nyi detektiv] by V. Astaf'ev, The Execution Block [Plakha] by Ch. Aitmatov, the paintings of G. Korzhev and V. Sidorov, the sculpture of V. Klykov, etc., are actively working for renewal. (shrink)

Книга представляет собой исследование, где предпринимается попытка на основе детальной проработки первоисточников и воспроизведения основных ходов мысли и интуиций Гегеля и позднего Шеллинга провести сравнительный анализ их учений об абсолюте.

Tom 1. Ontologii︠a︡, gnoseologii︠a︡ i metodologii︠a︡ nauki, logika -- t. 2. Sot︠s︡ialʹnai︠a︡ filosofii︠a︡ i filosofii︠a︡ politiki -- t. 3. Filosofskai︠a︡ antropologii︠a︡ i filosofii︠a︡ kulʹtury -- t. 4. Filosofii︠a︡ dukhovnosti, obrazovanii︠a︡, religii.

In this book, Aleksandr V. Bezgodov and Konstantin V. Barezhev formulate planetary ethics--the most important part of the philosophy of the Planetary Project. Planetary ethics represent the moral basis and value code for building a biocompatible, harmonious, and manageable civilization. They analyze the moral and ethical views of those Russian cosmists who belonged to the natural science branch of this unique philosophical, scientific, and cultural phenomenon. Looking at the world through the prism of a planetary-cosmic consciousness, cosmists developed a system (...) of biocentric and humanistic values.Russian cosmism is a spiritual rebellion of life against chaos, death, and limitation. A combination of science, philosophy, poetry, and a certain utopianism extended on a universal scale makes Russian cosmism a prologue to the modern nonclassical, science-based worldview that emphasizes synergy and globalism. Back in the late nineteenth to early twentieth century, cosmists focused on a united humanity and the principles of a close relationship between man and the universe. This monograph lays the groundwork for the planetary ethics that originated in the philosophy of Russian cosmism. The monograph continues the series of books of the Planetary Project, Planetary Project: From Sustainable Development to Managed Harmony and Planetary Rent as an Instrument for Solving Global Problems. (shrink)

Despite tendencies to compete for a prime place in moral theory, neither virtue ethics nor the four principles approach should claim to be superior to, or logically prior to, the other. Together they provide a more adequate account of the moral life than either can offer on its own. The virtues of principlism are clarity, simplicity and (to some extent) universality. These are well illustrated by Ranaan Gillon’s masterly analysis of the cases he has provided. But the vices of this (...) approach are the converse of its virtues: neglect of emotional and personal factors, oversimplification of the issues, and excessive claims to universality. Virtue ethics offers a complementary approach, providing insights into moral character, offering a blend of reason and emotion, and paying attention to the context of decisions. The cases provided can be more adequately understood if we combine the approaches. Both should foster the virtues of humility and magnanimity. (shrink)

The experience of organizing the educational process during the quarantine caused by the COVID-19 pandemic is considered. Using of interactive technologies that allow organizing instant audio communication with a remote audience, as well as intelligent tools based on artificial intelligence that can help educational institutions to work more efficiently. Examples of sufficient use of artificial intelligence in distance learning are given. Particular attention is paid to the development of intelligent chatbots intended for use in communications with students of online courses (...) of educational web portals. The use of technologies of ontology formation based on automatic extraction of concepts from external sources is offered, what can lead to greater acceleration of construction of the intellectual component of chatbots. Artificial intelligence tools can become an essential part of distance learning during this global COVID-19 pandemic. While educational institutions are closed to quarantine and many of them transitioned to distance learning lecturers and schoolteachers, as well as students and schoolchildren faced with the necessity to study in this new reality. The impact of these changes depends on people's ability to learn and on the role that the education system will play in meeting the demand for quality and affordable training. The experience of organizing the educational process at the University of Education Management of the National Academy of Pedagogical Sciences of Ukraine in the quarantine caused by the COVID-19 pandemic showed that higher and postgraduate institutions were mostly ready to move to distance learning. However, most distance learning systems, on whatever platform they are organized, need to be supplemented: the ability to broadcast video, providing fast transmission of various types of information, receiving instant feedback when voting, polls and more. The structure of each section of the training course for the online learning system should fully cover the training material and meet all the objectives of the course. Appropriate language should be used, and wording, syntax, and presentation of tasks should be considered. One of the areas of application of artificial intelligence technologies in online learning is the use of chatbots which are characterrized by the following properties. It is advisable to use computer ontologies to ensure the intellectualization of chatbots. In this case, the metadata must be understandable to both humans and software and meet the requirements of modern standards in the field of information technology. The extraction of concepts from external data sources was carried out to build the ontology. (shrink)

Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized eigenvalues problem of sparse matrices, with automatic parallelization of calculations on modern parallel computers with graphics processors. Peculiarities of realization of parallel algorithms for different structures of sparse matrices are presented. The times of solving the problem of stability of composite materialsusing a three-dimensional model of "finite size fibers" on computers of different architectures are given. In mathematical modeling of physical and technical (...) processes in many cases there is a need to solve problems of algebraic problem of eigenvalues with sparse matrices of large volumes. In particular, such problems arise in the analysis of the strength of structures in civil and industrial construction, aircraft construction, electric welding, etc. The solving to these problems is to determine the eigenvalues and eigenvectors of sparse matrices of different structure. The efficiency of solving these problems largely depends on the effectiveness of mathematical modeling of the problem as a whole. Continuous growth of task parameters, calculation of more complete models of objects and processes on computers require an increase in computer productivity. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. Today, this problem is solved by using powerful supercomputers of hybrid architecture, such as computers with multicore processors and graphics processors, which combine MIMD and SIMD architectures. But the potential of high-performance computers can be used to the fullest only with algorithmic software that takes into account both the properties of the task and the features of the hybrid architecture. Complicating the architecture of modern high-performance supercomputers of hybrid architecture, which are actively used for mathematical modeling means a significant complication of efficient use of these resources in creating parallel algorithms and programs. here are problems with the creation of algorithmic software with automatic execution of stages of work, which are associated with the efficient use of computing resources, ways to store and process sparse matrices, analysis of the reliability of computer results. This makes it possible to significantly increase the efficiency of mathematical modeling of practical problems on modern high-performance computers, as well as free users from the problems of parallelization of complex problems. he developed algorithmic software automatically implements all stages of parallel computing and processing of sparse matrices on a hybrid computer. It was used at the Institute of Mechanics named after S.P. Tymoshenko NAS of Ukraine in modeling the strength problems of composite material. A significant improvement in the time characteristics of mathematical modeling was obtained. Problems of mathematical modeling of the properties of composite materials has an important role in designing the processes of deformation and destruction of products in various subject areas. Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized problem of eigen values of sparse matrices of different structure of large orders, with automatic parallelization of calculations on modern parallel computers with graphics processors. The main methodological principles and features of implementation of parallel algorithms for different structures of sparse matrices are presented, which ensure effective implementation of multilevel parallelism of a hybrid system and reduce data exchange time during the computational process. As an example of these approaches, a hybrid algorithm of the iteration method in subspace for tape and block-diagonal matrices with a frame for computers of hybrid architecture is given. Peculiarities of data decomposition for matrices of profile structure at realization of parallel algorithms are considered. The proposed approach provides automatic determination of the required topology of the hybrid computer and the optimal amount of resources for the organization of an efficient computational process. The results of testing the developed algorithmic software for problems from the collection of the University of Florida, as well as the times of solving the problem of stability of composite materials using a three-dimensional model of "finite size fibers" on computers of different architectures. The results show a significant improvement in the time characteristics of solving problems. (shrink)

The article describes the application of the cassette method of passenger transportation, taking into account the dynamics of passenger traffic during the day by means of an intelligent transport system based on unmanned electric vehicles. The calculation of the required number of electric cars for the cassette for a one-time fulfillment of the delivery plan is presented.

The proposed article is devoted to the description of an intelligent urban passenger transport system based on unmanned electric vehicles, sequentially moving along a separate line. This system is a passenger transport system of a new urban mobility, formed under the influence of social conditions generated by high population density in cities, that suppose the development of pedestrian zones and ecological modes of transport, "transport as a service", etc. In this historical context, public transport systems acquire special relevance. The described (...) transport system belongs to intelligent systems, since it is capable of functioning in autonomous mode without human intervention, adaptively responding to changes in the dynamics of the flow of passengers during the day. Passengers are transported by electric cars, which can be combined into cassettes according to the principle of road trains based on the transportation plan drawn up by the intelligent center of the transport system according to the matrix of correspondences, filled in taking into account the incoming requests for service from passengers. When drawing up a transportation plan, the algorithms of the transport system give preference to transportation according to the "source-destination" principle, that is, when the passenger goes to the destination with a minimum number of intermediate stops, and ideally without them. The paper formulates also a criterion of arising of a conflict in the movement of vehicles, which allows to identify situations when an electric vehicle driving in front can detain vehicles following after. The work has relevance because the criterion will allow to make adjustments in the schedule of movement of vehicles and exclude the loss of time and energy that carries the transport system during braking and acceleration of electric cars, as well as to reduce waiting time and travel of passengers. (shrink)

The controversies in Bristol, Alder Hey and elsewhere in the UK surrounding the removal and retention of human tissue and organs have led to extensive law reform in all three UK legal systems. This paper reports a short study of the reactions of a range of health professionals to these changes. Three main areas of ethical concern were noted: the balancing of individual rights and social benefit; the efficacy of the new procedures for consent; and the helpfulness for professional practice (...) of the new legislation and regulation. Recognition of these concerns may help in forging a new partnership between professionals and patients and their families. (shrink)

The philosophical disposition of the mind of Vladimir Bibikhin is deeply related to the thought of Martin Heidegger, but at the same time his existential character is almost directly opposite. What is common to them is the understanding of thought as the docile attention to the event of being. The text outlines three aspects of this disposition of mind, which all are disputed by the author. (1) Consciousness is not only the Carthesian ruler, but also the subject of the ethical (...) reflexion, conscience. (2) In the “seizedness” as the basic frame of mind of the docile attention the turn of the possessedness is concealed. (3) In the political turn of the seizing historical event the totalitarian power is hidden. (shrink)

The paper proves that a historical method in Marxism is not identified to a dialectical method. The logic of history and the logic of its analysis in Marxism do not always coincide. The Logical coincides with the Historical only in eternity as it actually occurs in the works by G.V.F. Hegel. Eternity which has already witnessed everything does not know history any more. In the same way, history also begins there where the eternity comes to an end. Therefore, artificial identification (...) of the Logical with the Historical in Marxism led sometimes to actual mistakes. It is no wonder that it has always caused discussions in Marxism. They are mainly explained by the fact that the deductive, abstract-to-concrete method in which the “General” appears before the “Concrete” is an anti-historical method in its Nature. In real human history the “General” which is generalization of many “Concrete” could not appear before the latter in any way. For this reason, the real historical materialism needs an inductive method of knowledge. Only in that case historical materialism will cease to remain the soviet “histmat” and becomes the real form of a new world outlook. The author is of the opinion that the Party spirit of the Soviet philosophy promoted preservation of the anomalies mentioned in Marxism. The open discussion could help to find valid but not inherited from Hegel relation of historical and logical methods in Marxism. (shrink)